The 7-Cycloheptatrienylmethyl/7-Norcaradienylmethyl Cation System
نویسندگان
چکیده
منابع مشابه
The PEP Veri cation System
This paper gives a short overview of the veriication system PEP (a Programming Environment based on Petri nets). It focuses on some recent developments.
متن کاملCation composition effects on oxide conductivity in the Zr(2)Y(2)O(7)-Y(3)NbO(7) system.
Polarizable interaction potentials, parametrized using ab initio electronic structure calculations, have been used in molecular dynamics simulations to study the effect of cation composition on the ionic conductivity in the Zr(2)Y(2)O(7)-Y(3)NbO(7) system and to link the dynamical properties to the degree of lattice disorder. Across the composition range, this system retains a disordered fluori...
متن کاملThe 7 r - Cation Radical of Chlorophyll a *
Chlorophyll a undergoes reversible one-electron oxidation in dichloromethane and butyronitrile. Removal of the electron by controlled potential electrolysis or by stoichiometric charge transfer to a known cation radical yields a radical (epr line width = 9 gauss, g = 2.0025 ± 0.0001) whose optical spectrum is bleached relative to that of chlorophyll. Upon electrophoresis this bleached species b...
متن کاملSystem Speci cation and Veri cation Using High Level Concepts
This paper describes a sample modelling and veri cation session using SDL and SPIN modelchecker via the PEP tool. We will focus on the tight integration of all involved tools allowing the user to stay within his known environment of SDL speci cation. Thus the user need not know about the underlying Petri net or the Promela language even while formulating the properties to be checked.
متن کاملSemi-Quantitative System Identi cation
System identi cation takes a space of possible models and a stream of observational data of a physical system, and attempts to identify the element of the model space that best describes the observed system. In traditional approaches, the model space is speci ed by a parameterized di erential equation, and identi cation selects numerical parameter values so that simulation of the model best mat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Canadian Journal of Chemistry
سال: 1975
ISSN: 0008-4042,1480-3291
DOI: 10.1139/v75-253